SOME EXPERIMENTS WITH IONIC MEDICATION

Ionic Medication

Ionic Medication

This small volume has been written to supply a demand for a book on the subject, and the exhaustion of the 1st edition within six months is the hpst testimonial to the success of this object. Beyond some re-arrangement of the first chapter and some short additional section, the book is unaltered. It is a concise and handy guide to a subject, which, as the author points out in his preface, is on...

Some Experiments with Undeenedness

We distinguish two kinds of undeenedness: undeenedness in existence versus undeenedness in information. We give several applications of the rst kind: a rst order formulation of the untyped lambda calculus and a Zermelo-Fraenkel style theory for partial functions which is equally powerful as ZF-Set Theory. We add the rst kind of unde-nedness to a typed lambda calculus, and show that identifying ...

Some Experiments with Evaluation of Legendre Polynomials

Common practice is to recommend evaluation of polynomials by Horner’s rule. Here’s an example where it is fast but doesn’t work nearly as accurately as another fairly easy method. Can a method for Legendre polynomials be both fast and accurate? 1 1 Legendre Polynomials A substantial literature has grown up around the uses for orthonormal polynomials. Here we look at the example of Legendre poly...

Some Experiments with Real-time Decision Algorithms

Real-time Decision algorithms are a class of incremental resource-bounded [Horvitz, 89] or anytime [Dean, 93] algorithms for evaluating influence diagrams. We present a test domain for real-time decision algorithms, and the results of experiments with several Real-time Decision Algorithms in this domain. The results demonstrate high performance for two algorithms, a decision-evaluation variant ...